Integrand size = 12, antiderivative size = 88 \[ \int x^3 \arctan (x) \log \left (1+x^2\right ) \, dx=-\frac {25 x}{24}+\frac {7 x^3}{72}+\frac {25 \arctan (x)}{24}+\frac {1}{4} x^2 \arctan (x)-\frac {1}{8} x^4 \arctan (x)+\frac {1}{4} x \log \left (1+x^2\right )-\frac {1}{12} x^3 \log \left (1+x^2\right )-\frac {1}{4} \arctan (x) \log \left (1+x^2\right )+\frac {1}{4} x^4 \arctan (x) \log \left (1+x^2\right ) \]
[Out]
Time = 0.08 (sec) , antiderivative size = 88, normalized size of antiderivative = 1.00, number of steps used = 14, number of rules used = 12, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 1.000, Rules used = {4946, 308, 209, 2504, 2442, 45, 5139, 470, 327, 2521, 2498, 2505} \[ \int x^3 \arctan (x) \log \left (1+x^2\right ) \, dx=-\frac {1}{8} x^4 \arctan (x)+\frac {1}{4} x^2 \arctan (x)-\frac {1}{4} \arctan (x) \log \left (x^2+1\right )+\frac {1}{4} x^4 \arctan (x) \log \left (x^2+1\right )+\frac {25 \arctan (x)}{24}+\frac {7 x^3}{72}+\frac {1}{4} x \log \left (x^2+1\right )-\frac {1}{12} x^3 \log \left (x^2+1\right )-\frac {25 x}{24} \]
[In]
[Out]
Rule 45
Rule 209
Rule 308
Rule 327
Rule 470
Rule 2442
Rule 2498
Rule 2504
Rule 2505
Rule 2521
Rule 4946
Rule 5139
Rubi steps \begin{align*} \text {integral}& = \frac {1}{4} x^2 \arctan (x)-\frac {1}{8} x^4 \arctan (x)-\frac {1}{4} \arctan (x) \log \left (1+x^2\right )+\frac {1}{4} x^4 \arctan (x) \log \left (1+x^2\right )-\int \left (-\frac {x^2 \left (-2+x^2\right )}{8 \left (1+x^2\right )}+\frac {1}{4} \left (-1+x^2\right ) \log \left (1+x^2\right )\right ) \, dx \\ & = \frac {1}{4} x^2 \arctan (x)-\frac {1}{8} x^4 \arctan (x)-\frac {1}{4} \arctan (x) \log \left (1+x^2\right )+\frac {1}{4} x^4 \arctan (x) \log \left (1+x^2\right )+\frac {1}{8} \int \frac {x^2 \left (-2+x^2\right )}{1+x^2} \, dx-\frac {1}{4} \int \left (-1+x^2\right ) \log \left (1+x^2\right ) \, dx \\ & = \frac {x^3}{24}+\frac {1}{4} x^2 \arctan (x)-\frac {1}{8} x^4 \arctan (x)-\frac {1}{4} \arctan (x) \log \left (1+x^2\right )+\frac {1}{4} x^4 \arctan (x) \log \left (1+x^2\right )-\frac {1}{4} \int \left (-\log \left (1+x^2\right )+x^2 \log \left (1+x^2\right )\right ) \, dx-\frac {3}{8} \int \frac {x^2}{1+x^2} \, dx \\ & = -\frac {3 x}{8}+\frac {x^3}{24}+\frac {1}{4} x^2 \arctan (x)-\frac {1}{8} x^4 \arctan (x)-\frac {1}{4} \arctan (x) \log \left (1+x^2\right )+\frac {1}{4} x^4 \arctan (x) \log \left (1+x^2\right )+\frac {1}{4} \int \log \left (1+x^2\right ) \, dx-\frac {1}{4} \int x^2 \log \left (1+x^2\right ) \, dx+\frac {3}{8} \int \frac {1}{1+x^2} \, dx \\ & = -\frac {3 x}{8}+\frac {x^3}{24}+\frac {3 \arctan (x)}{8}+\frac {1}{4} x^2 \arctan (x)-\frac {1}{8} x^4 \arctan (x)+\frac {1}{4} x \log \left (1+x^2\right )-\frac {1}{12} x^3 \log \left (1+x^2\right )-\frac {1}{4} \arctan (x) \log \left (1+x^2\right )+\frac {1}{4} x^4 \arctan (x) \log \left (1+x^2\right )+\frac {1}{6} \int \frac {x^4}{1+x^2} \, dx-\frac {1}{2} \int \frac {x^2}{1+x^2} \, dx \\ & = -\frac {7 x}{8}+\frac {x^3}{24}+\frac {3 \arctan (x)}{8}+\frac {1}{4} x^2 \arctan (x)-\frac {1}{8} x^4 \arctan (x)+\frac {1}{4} x \log \left (1+x^2\right )-\frac {1}{12} x^3 \log \left (1+x^2\right )-\frac {1}{4} \arctan (x) \log \left (1+x^2\right )+\frac {1}{4} x^4 \arctan (x) \log \left (1+x^2\right )+\frac {1}{6} \int \left (-1+x^2+\frac {1}{1+x^2}\right ) \, dx+\frac {1}{2} \int \frac {1}{1+x^2} \, dx \\ & = -\frac {25 x}{24}+\frac {7 x^3}{72}+\frac {7 \arctan (x)}{8}+\frac {1}{4} x^2 \arctan (x)-\frac {1}{8} x^4 \arctan (x)+\frac {1}{4} x \log \left (1+x^2\right )-\frac {1}{12} x^3 \log \left (1+x^2\right )-\frac {1}{4} \arctan (x) \log \left (1+x^2\right )+\frac {1}{4} x^4 \arctan (x) \log \left (1+x^2\right )+\frac {1}{6} \int \frac {1}{1+x^2} \, dx \\ & = -\frac {25 x}{24}+\frac {7 x^3}{72}+\frac {25 \arctan (x)}{24}+\frac {1}{4} x^2 \arctan (x)-\frac {1}{8} x^4 \arctan (x)+\frac {1}{4} x \log \left (1+x^2\right )-\frac {1}{12} x^3 \log \left (1+x^2\right )-\frac {1}{4} \arctan (x) \log \left (1+x^2\right )+\frac {1}{4} x^4 \arctan (x) \log \left (1+x^2\right ) \\ \end{align*}
Time = 0.02 (sec) , antiderivative size = 56, normalized size of antiderivative = 0.64 \[ \int x^3 \arctan (x) \log \left (1+x^2\right ) \, dx=\frac {1}{72} \left (x \left (-75+7 x^2-6 \left (-3+x^2\right ) \log \left (1+x^2\right )\right )+3 \arctan (x) \left (25+6 x^2-3 x^4+6 \left (-1+x^4\right ) \log \left (1+x^2\right )\right )\right ) \]
[In]
[Out]
Time = 1.63 (sec) , antiderivative size = 71, normalized size of antiderivative = 0.81
method | result | size |
parallelrisch | \(-\frac {25 x}{24}+\frac {7 x^{3}}{72}+\frac {25 \arctan \left (x \right )}{24}+\frac {x^{2} \arctan \left (x \right )}{4}-\frac {x^{4} \arctan \left (x \right )}{8}+\frac {x \ln \left (x^{2}+1\right )}{4}-\frac {x^{3} \ln \left (x^{2}+1\right )}{12}-\frac {\arctan \left (x \right ) \ln \left (x^{2}+1\right )}{4}+\frac {x^{4} \arctan \left (x \right ) \ln \left (x^{2}+1\right )}{4}\) | \(71\) |
default | \(\text {Expression too large to display}\) | \(2834\) |
risch | \(\text {Expression too large to display}\) | \(16521\) |
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 49, normalized size of antiderivative = 0.56 \[ \int x^3 \arctan (x) \log \left (1+x^2\right ) \, dx=\frac {7}{72} \, x^{3} - \frac {1}{24} \, {\left (3 \, x^{4} - 6 \, x^{2} - 25\right )} \arctan \left (x\right ) - \frac {1}{12} \, {\left (x^{3} - 3 \, {\left (x^{4} - 1\right )} \arctan \left (x\right ) - 3 \, x\right )} \log \left (x^{2} + 1\right ) - \frac {25}{24} \, x \]
[In]
[Out]
Time = 0.57 (sec) , antiderivative size = 83, normalized size of antiderivative = 0.94 \[ \int x^3 \arctan (x) \log \left (1+x^2\right ) \, dx=\frac {x^{4} \log {\left (x^{2} + 1 \right )} \operatorname {atan}{\left (x \right )}}{4} - \frac {x^{4} \operatorname {atan}{\left (x \right )}}{8} - \frac {x^{3} \log {\left (x^{2} + 1 \right )}}{12} + \frac {7 x^{3}}{72} + \frac {x^{2} \operatorname {atan}{\left (x \right )}}{4} + \frac {x \log {\left (x^{2} + 1 \right )}}{4} - \frac {25 x}{24} - \frac {\log {\left (x^{2} + 1 \right )} \operatorname {atan}{\left (x \right )}}{4} + \frac {25 \operatorname {atan}{\left (x \right )}}{24} \]
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 62, normalized size of antiderivative = 0.70 \[ \int x^3 \arctan (x) \log \left (1+x^2\right ) \, dx=\frac {7}{72} \, x^{3} + \frac {1}{8} \, {\left (2 \, x^{4} \log \left (x^{2} + 1\right ) - x^{4} + 2 \, x^{2} - 2 \, \log \left (x^{2} + 1\right )\right )} \arctan \left (x\right ) - \frac {1}{12} \, {\left (x^{3} - 3 \, x\right )} \log \left (x^{2} + 1\right ) - \frac {25}{24} \, x + \frac {25}{24} \, \arctan \left (x\right ) \]
[In]
[Out]
none
Time = 0.28 (sec) , antiderivative size = 124, normalized size of antiderivative = 1.41 \[ \int x^3 \arctan (x) \log \left (1+x^2\right ) \, dx=\frac {1}{8} \, \pi x^{4} \log \left (x^{2} + 1\right ) \mathrm {sgn}\left (x\right ) - \frac {1}{4} \, x^{4} \arctan \left (\frac {1}{x}\right ) \log \left (x^{2} + 1\right ) - \frac {1}{16} \, \pi x^{4} \mathrm {sgn}\left (x\right ) + \frac {1}{8} \, x^{4} \arctan \left (\frac {1}{x}\right ) - \frac {1}{12} \, x^{3} \log \left (x^{2} + 1\right ) + \frac {1}{8} \, \pi x^{2} \mathrm {sgn}\left (x\right ) + \frac {7}{72} \, x^{3} - \frac {1}{4} \, x^{2} \arctan \left (\frac {1}{x}\right ) - \frac {1}{8} \, \pi \log \left (x^{2} + 1\right ) \mathrm {sgn}\left (x\right ) + \frac {1}{4} \, x \log \left (x^{2} + 1\right ) + \frac {1}{4} \, \arctan \left (\frac {1}{x}\right ) \log \left (x^{2} + 1\right ) - \frac {25}{24} \, \pi \mathrm {sgn}\left (x\right ) - \frac {25}{24} \, x + \frac {25}{24} \, \arctan \left (x\right ) \]
[In]
[Out]
Time = 0.58 (sec) , antiderivative size = 69, normalized size of antiderivative = 0.78 \[ \int x^3 \arctan (x) \log \left (1+x^2\right ) \, dx=\frac {25\,\mathrm {atan}\left (x\right )}{24}+\frac {x^2\,\mathrm {atan}\left (x\right )}{4}+x\,\left (\frac {\ln \left (x^2+1\right )}{4}-\frac {25}{24}\right )-x^3\,\left (\frac {\ln \left (x^2+1\right )}{12}-\frac {7}{72}\right )-x^4\,\left (\frac {\mathrm {atan}\left (x\right )}{8}-\frac {\ln \left (x^2+1\right )\,\mathrm {atan}\left (x\right )}{4}\right )-\frac {\ln \left (x^2+1\right )\,\mathrm {atan}\left (x\right )}{4} \]
[In]
[Out]